Une généralisation du théorème du point fixe de Schauder

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Sur une souche de Pasteurella agent d'abcès enzootiques du lapin

Une generalisation du theoreme de Kobayashi-Ochiai

Une brève présentation du système de fouille de données Coron

Résumé. Le système CORON est une plate-forme générique de fouille de données qui propose une très grande collection d’algorithmes standards et “maison” pour l’extraction de motifs et de règles d’association. Le système a été utilisé dans des domaines et applications très variés, et offre une panoplie de modules utilisables avec profit par un analyste lors de sa recherche de pépites dans les don...

Some fixed point theorems for discontinuous mappings

This paper provides a fixed point theorem à la Schauder, where the mappings considered are possibly discontinuous. Our main result generalizes and unifies several well-known results. Résumé: Nous prouvons dans cet article un théorème de point fixe du type Schauder (dont un corollaire en dimension finie est le théorème de Brouwer) pour des applications qui peuvent présenter des discontinuités. N...